"Kosta Dosen" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Cut Elimination in Categories (Trends in Logic, 6)

Kosta Dosen

1.43 Mb

#2

Proof-Net Categories

Kosta DoSen, Zoran Petric

612 Kb

#3

Proof-Theoretical Coherence

Kosta Dosen, Zoran Petric

1.44 Mb

#4

Substructural logics

Peter Schroeder-Heister, Kosta Dosen

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

3.12 Mb